#ifdef _WIN32
extern "C" void __cdecl STORE_EXPLICIT_CHECKPOINT_WITH_RECOVERY(unsigned long name, Recovery *r);
extern "C" void __cdecl LOAD_EXPLICIT_CHECKPOINT(unsigned long name);
#else
extern "C" void STORE_EXPLICIT_CHECKPOINT_WITH_RECOVERY(unsigned long name, Recovery *r);
extern "C" void LOAD_EXPLICIT_CHECKPOINT(unsigned long name);
#endif
